[prev] [prev-tail] [tail] [up]

2.2.2 Integrals 101 to 166

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F(-2) F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

68 74 76 66 0 0 0 0 0

N.S.

1 1.09 1.12 0.97 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.571 0.054 0.350 0.000 0.000 0.000 0.000 0.000

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

12 12 14 10 12 0 12 12 12

N.S.

1 1.00 1.17 0.83 1.00 0.00 1.00 1.00 1.00

time (sec)

N/A 0.177 0.173 0.204 0.483 0.000 3.249 0.290 3.113

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

228 331 284 0 0 0 0 0 0

N.S.

1 1.45 1.25 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.278 1.073 0.000 0.000 0.000 0.000 0.000 0.000

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A B F F(-2) F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

172 251 175 277 0 0 0 0 0

N.S.

1 1.46 1.02 1.61 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.443 0.492 1.480 0.000 0.000 0.000 0.000 0.000

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A F F F(-2) F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

166 225 194 0 0 0 0 0 0

N.S.

1 1.36 1.17 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.395 0.445 0.000 0.000 0.000 0.000 0.000 0.000

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A F F(-2) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

123 140 83 122 0 0 0 0 0

N.S.

1 1.14 0.67 0.99 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.286 0.196 0.348 0.000 0.000 0.000 0.000 0.000

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A F F(-2) F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

89 102 105 84 0 0 0 0 0

N.S.

1 1.15 1.18 0.94 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.651 0.199 0.288 0.000 0.000 0.000 0.000 0.000

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

12 12 14 10 12 0 12 12 12

N.S.

1 1.00 1.17 0.83 1.00 0.00 1.00 1.00 1.00

time (sec)

N/A 0.173 0.169 0.202 0.499 0.000 58.735 0.295 2.742

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F(-1) F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

300 407 374 0 0 0 0 0 0

N.S.

1 1.36 1.25 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.217 1.281 0.000 0.000 0.000 0.000 0.000 0.000

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F(-2) F(-1) F(-2) F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

244 333 291 366 0 0 0 0 0

N.S.

1 1.36 1.19 1.50 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.446 0.382 1.493 0.000 0.000 0.000 0.000 0.000

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F(-1) F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

237 300 286 0 0 0 0 0 0

N.S.

1 1.27 1.21 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.934 0.539 0.000 0.000 0.000 0.000 0.000 0.000

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F(-2) F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

157 176 91 153 0 0 0 0 0

N.S.

1 1.12 0.58 0.97 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.241 0.220 0.347 0.000 0.000 0.000 0.000 0.000

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F(-2) F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

122 137 147 111 0 0 0 0 0

N.S.

1 1.12 1.20 0.91 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.956 0.138 0.277 0.000 0.000 0.000 0.000 0.000

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

12 12 14 10 12 0 0 12 12

N.S.

1 1.00 1.17 0.83 1.00 0.00 0.00 1.00 1.00

time (sec)

N/A 0.171 0.169 0.158 0.554 0.000 0.000 0.289 2.926

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

10 10 12 10 152 12 10 12 12

N.S.

1 1.00 1.20 1.00 15.20 1.20 1.00 1.20 1.20

time (sec)

N/A 0.506 0.910 1.318 0.619 0.259 27.241 0.450 2.802

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

10 10 12 10 152 12 10 12 12

N.S.

1 1.00 1.20 1.00 15.20 1.20 1.00 1.20 1.20

time (sec)

N/A 0.499 0.892 0.747 0.624 0.257 11.637 0.411 2.535

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

154 148 143 0 0 0 0 0 0

N.S.

1 0.96 0.93 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.471 0.233 0.000 0.000 0.000 0.000 0.000 0.000

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

91 91 82 0 0 0 0 0 0

N.S.

1 1.00 0.90 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.242 0.067 0.000 0.000 0.000 0.000 0.000 0.000

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

10 10 12 10 12 12 8 12 12

N.S.

1 1.00 1.20 1.00 1.20 1.20 0.80 1.20 1.20

time (sec)

N/A 0.181 0.678 0.668 0.374 0.244 0.667 0.286 2.495

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

10 10 12 10 305 12 10 12 12

N.S.

1 1.00 1.20 1.00 30.50 1.20 1.00 1.20 1.20

time (sec)

N/A 0.183 0.710 0.726 0.719 0.255 1.588 0.289 2.517

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

10 10 12 10 1152 12 10 12 12

N.S.

1 1.00 1.20 1.00 115.20 1.20 1.00 1.20 1.20

time (sec)

N/A 0.185 0.711 0.719 2.184 0.250 4.521 0.321 2.503

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) F(-1) F(-1) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

12 12 14 10 12 0 0 0 12

N.S.

1 1.00 1.17 0.83 1.00 0.00 0.00 0.00 1.00

time (sec)

N/A 0.180 0.933 0.274 0.572 0.000 0.000 0.000 2.631

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) N/A F(-1) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

12 12 14 10 12 0 12 0 12

N.S.

1 1.00 1.17 0.83 1.00 0.00 1.00 0.00 1.00

time (sec)

N/A 0.182 1.020 0.261 0.499 0.000 3.252 0.000 2.804

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

12 12 14 10 12 0 12 12 12

N.S.

1 1.00 1.17 0.83 1.00 0.00 1.00 1.00 1.00

time (sec)

N/A 0.183 1.692 0.281 0.507 0.000 0.916 2.337 2.608

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

12 12 14 10 12 0 12 12 12

N.S.

1 1.00 1.17 0.83 1.00 0.00 1.00 1.00 1.00

time (sec)

N/A 0.180 1.734 0.263 0.491 0.000 13.666 0.354 2.997

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-1) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

12 12 14 12 14 14 12 0 14

N.S.

1 1.00 1.17 1.00 1.17 1.17 1.00 0.00 1.17

time (sec)

N/A 0.187 1.241 0.277 0.489 0.273 12.716 0.000 2.789

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

173 159 144 0 0 0 0 0 0

N.S.

1 0.92 0.83 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.443 0.146 0.000 0.000 0.000 0.000 0.000 0.000

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

117 109 97 80 0 0 0 0 0

N.S.

1 0.93 0.83 0.68 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.398 0.072 0.686 0.000 0.000 0.000 0.000 0.000

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

113 105 95 0 0 0 0 0 0

N.S.

1 0.93 0.84 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.373 0.088 0.000 0.000 0.000 0.000 0.000 0.000

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A C F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 68 58 38 0 0 0 0 0

N.S.

1 1.15 0.98 0.64 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.345 0.039 0.115 0.000 0.000 0.000 0.000 0.000

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A C F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

49 54 43 40 0 0 0 0 0

N.S.

1 1.10 0.88 0.82 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.277 0.023 0.061 0.000 0.000 0.000 0.000 0.000

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

10 10 12 10 12 12 8 12 12

N.S.

1 1.00 1.20 1.00 1.20 1.20 0.80 1.20 1.20

time (sec)

N/A 0.180 0.254 0.101 0.479 0.263 0.621 1.933 2.698

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

84 96 105 106 87 73 0 0 0

N.S.

1 1.14 1.25 1.26 1.04 0.87 0.00 0.00 0.00

time (sec)

N/A 0.232 0.028 0.306 0.232 0.244 0.000 0.000 0.000

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

71 76 54 51 58 65 0 0 0

N.S.

1 1.07 0.76 0.72 0.82 0.92 0.00 0.00 0.00

time (sec)

N/A 0.222 0.034 0.026 0.276 0.245 0.000 0.000 0.000

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 60 76 84 66 61 0 80 47

N.S.

1 1.09 1.38 1.53 1.20 1.11 0.00 1.45 0.85

time (sec)

N/A 0.202 0.026 0.030 0.234 0.243 0.000 0.337 2.979

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 35 35 34 30 43 0 41 31

N.S.

1 1.00 1.00 0.97 0.86 1.23 0.00 1.17 0.89

time (sec)

N/A 0.164 0.050 0.013 0.219 0.259 0.000 0.269 2.786

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A F F F F F(-1)

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

55 73 48 73 0 0 0 0 0

N.S.

1 1.33 0.87 1.33 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.442 0.044 0.261 0.000 0.000 0.000 0.000 0.000

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

37 37 65 59 30 74 0 0 0

N.S.

1 1.00 1.76 1.59 0.81 2.00 0.00 0.00 0.00

time (sec)

N/A 0.220 0.050 0.033 0.349 0.272 0.000 0.000 0.000

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 43 48 48 36 48 0 0 0

N.S.

1 1.00 1.12 1.12 0.84 1.12 0.00 0.00 0.00

time (sec)

N/A 0.203 0.015 0.026 0.286 0.256 0.000 0.000 0.000

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

71 75 101 92 52 100 0 0 0

N.S.

1 1.06 1.42 1.30 0.73 1.41 0.00 0.00 0.00

time (sec)

N/A 0.236 0.071 0.034 0.359 0.266 0.000 0.000 0.000

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 76 50 58 57 60 0 0 0

N.S.

1 1.06 0.69 0.81 0.79 0.83 0.00 0.00 0.00

time (sec)

N/A 0.225 0.027 0.029 0.314 0.265 0.000 0.000 0.000

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

213 209 214 0 0 0 0 0 0

N.S.

1 0.98 1.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.071 0.364 0.000 0.000 0.000 0.000 0.000 0.000

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

145 140 137 0 0 0 0 0 0

N.S.

1 0.97 0.94 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.968 0.340 0.000 0.000 0.000 0.000 0.000 0.000

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

102 104 100 0 0 0 0 0 0

N.S.

1 1.02 0.98 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.782 0.177 0.000 0.000 0.000 0.000 0.000 0.000

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A F F F(-2) F F(-2) F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

292 393 540 0 0 0 0 0 0

N.S.

1 1.35 1.85 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.853 1.954 0.000 0.000 0.000 0.000 0.000 0.000

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

184 201 165 0 0 0 0 0 0

N.S.

1 1.09 0.90 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.503 0.652 0.000 0.000 0.000 0.000 0.000 0.000

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A F F F(-2) F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

140 151 269 0 0 0 0 0 0

N.S.

1 1.08 1.92 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.884 0.411 0.000 0.000 0.000 0.000 0.000 0.000

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F(-2) F(-1) F(-2) F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

337 438 924 0 0 0 0 0 0

N.S.

1 1.30 2.74 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 4.132 8.753 0.000 0.000 0.000 0.000 0.000 0.000

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F(-1) F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

228 235 207 0 0 0 0 0 0

N.S.

1 1.03 0.91 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.422 1.146 0.000 0.000 0.000 0.000 0.000 0.000

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F(-2) F(-1) F(-2) F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

160 168 452 0 0 0 0 0 0

N.S.

1 1.05 2.82 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.287 1.673 0.000 0.000 0.000 0.000 0.000 0.000

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

194 189 195 0 0 0 0 0 0

N.S.

1 0.97 1.01 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.513 0.262 0.000 0.000 0.000 0.000 0.000 0.000

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

107 117 104 0 0 0 0 0 0

N.S.

1 1.09 0.97 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.505 0.226 0.000 0.000 0.000 0.000 0.000 0.000

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

88 96 100 0 0 0 0 0 0

N.S.

1 1.09 1.14 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.393 0.094 0.000 0.000 0.000 0.000 0.000 0.000

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

231 228 247 0 0 0 0 0 0

N.S.

1 0.99 1.07 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.493 0.472 0.000 0.000 0.000 0.000 0.000 0.000

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F(-2) F F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

140 149 0 0 0 0 0 0 0

N.S.

1 1.06 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.524 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F(-2) F F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

120 129 0 0 0 0 0 0 0

N.S.

1 1.08 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.806 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

276 392 340 0 0 0 0 0 0

N.S.

1 1.42 1.23 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.323 1.502 0.000 0.000 0.000 0.000 0.000 0.000

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C F F F F(-2) F F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

188 211 0 0 0 0 0 0 0

N.S.

1 1.12 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.126 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C F F F F(-2) F F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

148 167 0 0 0 0 0 0 0

N.S.

1 1.13 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.022 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F(-1) F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

361 487 394 0 0 0 0 0 0

N.S.

1 1.35 1.09 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 3.176 1.685 0.000 0.000 0.000 0.000 0.000 0.000

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F(-2) F(-1) F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

229 257 0 0 0 0 0 0 0

N.S.

1 1.12 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.035 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F(-2) F(-1) F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

188 212 0 0 0 0 0 0 0

N.S.

1 1.13 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.383 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

128 132 118 0 0 0 0 0 0

N.S.

1 1.03 0.92 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.542 0.314 0.000 0.000 0.000 0.000 0.000 0.000

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

181 176 164 0 0 0 0 0 0

N.S.

1 0.97 0.91 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.588 0.176 0.000 0.000 0.000 0.000 0.000 0.000

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

106 106 87 0 0 0 0 0 0

N.S.

1 1.00 0.82 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.261 0.111 0.000 0.000 0.000 0.000 0.000 0.000

Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

16 16 18 16 18 18 14 18 18

N.S.

1 1.00 1.12 1.00 1.12 1.12 0.88 1.12 1.12

time (sec)

N/A 0.193 0.186 1.602 0.297 0.250 0.706 0.298 2.656

[prev] [prev-tail] [front] [up]